Optimal. Leaf size=525 \[ \frac{\left (-1435 a^4 b^2+588 a^2 b^4+840 a^6-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{2 a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^{3/2} \tan ^{-1}\left (\frac{a \tan \left (\frac{1}{2} (c+d x)\right )+b}{\sqrt{a^2-b^2}}\right )}{b^9 d}-\frac{\left (-30 a^2 b^2+20 a^4+9 b^4\right ) \sin ^5(c+d x) \cos (c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}+\frac{\left (-340 a^2 b^2+224 a^4+105 b^4\right ) \sin ^4(c+d x) \cos (c+d x)}{140 a^2 b^4 d}-\frac{\left (-37 a^2 b^2+24 a^4+12 b^4\right ) \sin ^3(c+d x) \cos (c+d x)}{12 a b^5 d}+\frac{\left (-441 a^2 b^2+280 a^4+150 b^4\right ) \sin ^2(c+d x) \cos (c+d x)}{105 b^6 d}-\frac{a \left (-52 a^2 b^2+32 a^4+19 b^4\right ) \sin (c+d x) \cos (c+d x)}{8 b^7 d}+\frac{a x \left (-120 a^4 b^2+60 a^2 b^4+64 a^6-5 b^6\right )}{8 b^9}-\frac{3 b \sin ^5(c+d x) \cos (c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{4 a \sin ^6(c+d x) \cos (c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\sin ^7(c+d x) \cos (c+d x)}{7 b d (a+b \sin (c+d x))}+\frac{\sin ^4(c+d x) \cos (c+d x)}{4 a d (a+b \sin (c+d x))} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.9091, antiderivative size = 525, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 8, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.276, Rules used = {2896, 3047, 3049, 3023, 2735, 2660, 618, 204} \[ \frac{\left (-1435 a^4 b^2+588 a^2 b^4+840 a^6-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{2 a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^{3/2} \tan ^{-1}\left (\frac{a \tan \left (\frac{1}{2} (c+d x)\right )+b}{\sqrt{a^2-b^2}}\right )}{b^9 d}-\frac{\left (-30 a^2 b^2+20 a^4+9 b^4\right ) \sin ^5(c+d x) \cos (c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}+\frac{\left (-340 a^2 b^2+224 a^4+105 b^4\right ) \sin ^4(c+d x) \cos (c+d x)}{140 a^2 b^4 d}-\frac{\left (-37 a^2 b^2+24 a^4+12 b^4\right ) \sin ^3(c+d x) \cos (c+d x)}{12 a b^5 d}+\frac{\left (-441 a^2 b^2+280 a^4+150 b^4\right ) \sin ^2(c+d x) \cos (c+d x)}{105 b^6 d}-\frac{a \left (-52 a^2 b^2+32 a^4+19 b^4\right ) \sin (c+d x) \cos (c+d x)}{8 b^7 d}+\frac{a x \left (-120 a^4 b^2+60 a^2 b^4+64 a^6-5 b^6\right )}{8 b^9}-\frac{3 b \sin ^5(c+d x) \cos (c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{4 a \sin ^6(c+d x) \cos (c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\sin ^7(c+d x) \cos (c+d x)}{7 b d (a+b \sin (c+d x))}+\frac{\sin ^4(c+d x) \cos (c+d x)}{4 a d (a+b \sin (c+d x))} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2896
Rule 3047
Rule 3049
Rule 3023
Rule 2735
Rule 2660
Rule 618
Rule 204
Rubi steps
\begin{align*} \int \frac{\cos ^6(c+d x) \sin ^3(c+d x)}{(a+b \sin (c+d x))^2} \, dx &=\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}+\frac{\int \frac{\sin ^5(c+d x) \left (6 \left (160 a^4-245 a^2 b^2+84 b^4\right )-4 a b \left (10 a^2-21 b^2\right ) \sin (c+d x)-10 \left (112 a^4-180 a^2 b^2+63 b^4\right ) \sin ^2(c+d x)\right )}{(a+b \sin (c+d x))^2} \, dx}{840 a^2 b^2}\\ &=\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\int \frac{\sin ^4(c+d x) \left (-280 \left (20 a^6-50 a^4 b^2+39 a^2 b^4-9 b^6\right )+10 a b \left (16 a^4-37 a^2 b^2+21 b^4\right ) \sin (c+d x)+30 \left (224 a^6-564 a^4 b^2+445 a^2 b^4-105 b^6\right ) \sin ^2(c+d x)\right )}{a+b \sin (c+d x)} \, dx}{840 a^2 b^3 \left (a^2-b^2\right )}\\ &=\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\int \frac{\sin ^3(c+d x) \left (120 a \left (224 a^6-564 a^4 b^2+445 a^2 b^4-105 b^6\right )-80 a^2 b \left (14 a^4-29 a^2 b^2+15 b^4\right ) \sin (c+d x)-1400 a \left (24 a^6-61 a^4 b^2+49 a^2 b^4-12 b^6\right ) \sin ^2(c+d x)\right )}{a+b \sin (c+d x)} \, dx}{4200 a^2 b^4 \left (a^2-b^2\right )}\\ &=-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\int \frac{\sin ^2(c+d x) \left (-4200 a^2 \left (24 a^6-61 a^4 b^2+49 a^2 b^4-12 b^6\right )+120 a^3 b \left (56 a^4-121 a^2 b^2+65 b^4\right ) \sin (c+d x)+480 a^2 \left (280 a^6-721 a^4 b^2+591 a^2 b^4-150 b^6\right ) \sin ^2(c+d x)\right )}{a+b \sin (c+d x)} \, dx}{16800 a^2 b^5 \left (a^2-b^2\right )}\\ &=\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\int \frac{\sin (c+d x) \left (960 a^3 \left (280 a^6-721 a^4 b^2+591 a^2 b^4-150 b^6\right )-120 a^2 b \left (280 a^6-637 a^4 b^2+417 a^2 b^4-60 b^6\right ) \sin (c+d x)-12600 a^3 \left (32 a^6-84 a^4 b^2+71 a^2 b^4-19 b^6\right ) \sin ^2(c+d x)\right )}{a+b \sin (c+d x)} \, dx}{50400 a^2 b^6 \left (a^2-b^2\right )}\\ &=-\frac{a \left (32 a^4-52 a^2 b^2+19 b^4\right ) \cos (c+d x) \sin (c+d x)}{8 b^7 d}+\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\int \frac{-12600 a^4 \left (32 a^6-84 a^4 b^2+71 a^2 b^4-19 b^6\right )+120 a^3 b \left (1120 a^6-2716 a^4 b^2+2001 a^2 b^4-405 b^6\right ) \sin (c+d x)+960 a^2 \left (840 a^8-2275 a^6 b^2+2023 a^4 b^4-603 a^2 b^6+15 b^8\right ) \sin ^2(c+d x)}{a+b \sin (c+d x)} \, dx}{100800 a^2 b^7 \left (a^2-b^2\right )}\\ &=\frac{\left (840 a^6-1435 a^4 b^2+588 a^2 b^4-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{a \left (32 a^4-52 a^2 b^2+19 b^4\right ) \cos (c+d x) \sin (c+d x)}{8 b^7 d}+\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\int \frac{-12600 a^4 b \left (32 a^6-84 a^4 b^2+71 a^2 b^4-19 b^6\right )-12600 a^3 \left (64 a^8-184 a^6 b^2+180 a^4 b^4-65 a^2 b^6+5 b^8\right ) \sin (c+d x)}{a+b \sin (c+d x)} \, dx}{100800 a^2 b^8 \left (a^2-b^2\right )}\\ &=\frac{a \left (64 a^6-120 a^4 b^2+60 a^2 b^4-5 b^6\right ) x}{8 b^9}+\frac{\left (840 a^6-1435 a^4 b^2+588 a^2 b^4-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{a \left (32 a^4-52 a^2 b^2+19 b^4\right ) \cos (c+d x) \sin (c+d x)}{8 b^7 d}+\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\left (a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^2\right ) \int \frac{1}{a+b \sin (c+d x)} \, dx}{b^9}\\ &=\frac{a \left (64 a^6-120 a^4 b^2+60 a^2 b^4-5 b^6\right ) x}{8 b^9}+\frac{\left (840 a^6-1435 a^4 b^2+588 a^2 b^4-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{a \left (32 a^4-52 a^2 b^2+19 b^4\right ) \cos (c+d x) \sin (c+d x)}{8 b^7 d}+\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}-\frac{\left (2 a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^2\right ) \operatorname{Subst}\left (\int \frac{1}{a+2 b x+a x^2} \, dx,x,\tan \left (\frac{1}{2} (c+d x)\right )\right )}{b^9 d}\\ &=\frac{a \left (64 a^6-120 a^4 b^2+60 a^2 b^4-5 b^6\right ) x}{8 b^9}+\frac{\left (840 a^6-1435 a^4 b^2+588 a^2 b^4-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{a \left (32 a^4-52 a^2 b^2+19 b^4\right ) \cos (c+d x) \sin (c+d x)}{8 b^7 d}+\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}+\frac{\left (4 a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^2\right ) \operatorname{Subst}\left (\int \frac{1}{-4 \left (a^2-b^2\right )-x^2} \, dx,x,2 b+2 a \tan \left (\frac{1}{2} (c+d x)\right )\right )}{b^9 d}\\ &=\frac{a \left (64 a^6-120 a^4 b^2+60 a^2 b^4-5 b^6\right ) x}{8 b^9}-\frac{2 a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^{3/2} \tan ^{-1}\left (\frac{b+a \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a^2-b^2}}\right )}{b^9 d}+\frac{\left (840 a^6-1435 a^4 b^2+588 a^2 b^4-15 b^6\right ) \cos (c+d x)}{105 b^8 d}-\frac{a \left (32 a^4-52 a^2 b^2+19 b^4\right ) \cos (c+d x) \sin (c+d x)}{8 b^7 d}+\frac{\left (280 a^4-441 a^2 b^2+150 b^4\right ) \cos (c+d x) \sin ^2(c+d x)}{105 b^6 d}-\frac{\left (24 a^4-37 a^2 b^2+12 b^4\right ) \cos (c+d x) \sin ^3(c+d x)}{12 a b^5 d}+\frac{\left (224 a^4-340 a^2 b^2+105 b^4\right ) \cos (c+d x) \sin ^4(c+d x)}{140 a^2 b^4 d}+\frac{\cos (c+d x) \sin ^4(c+d x)}{4 a d (a+b \sin (c+d x))}-\frac{3 b \cos (c+d x) \sin ^5(c+d x)}{20 a^2 d (a+b \sin (c+d x))}-\frac{\left (20 a^4-30 a^2 b^2+9 b^4\right ) \cos (c+d x) \sin ^5(c+d x)}{15 a^2 b^3 d (a+b \sin (c+d x))}-\frac{4 a \cos (c+d x) \sin ^6(c+d x)}{21 b^2 d (a+b \sin (c+d x))}+\frac{\cos (c+d x) \sin ^7(c+d x)}{7 b d (a+b \sin (c+d x))}\\ \end{align*}
Mathematica [A] time = 8.86982, size = 531, normalized size = 1.01 \[ \frac{\frac{26880 a^6 b^2 \sin (2 (c+d x))-201600 a^5 b^3 c \sin (c+d x)-201600 a^5 b^3 d x \sin (c+d x)-45920 a^4 b^4 \sin (2 (c+d x))-1120 a^4 b^4 \sin (4 (c+d x))+100800 a^3 b^5 c \sin (c+d x)+100800 a^3 b^5 d x \sin (c+d x)+18480 a^2 b^6 \sin (2 (c+d x))+1428 a^2 b^6 \sin (4 (c+d x))+112 a^2 b^6 \sin (6 (c+d x))-336 a^3 b^5 \cos (5 (c+d x))+840 a b \left (-224 a^4 b^2+98 a^2 b^4+128 a^6-5 b^6\right ) \cos (c+d x)+70 \left (-96 a^3 b^5+64 a^5 b^3+27 a b^7\right ) \cos (3 (c+d x))-201600 a^6 b^2 c+100800 a^4 b^4 c-8400 a^2 b^6 c-201600 a^6 b^2 d x+100800 a^4 b^4 d x-8400 a^2 b^6 d x+107520 a^7 b c \sin (c+d x)+107520 a^7 b d x \sin (c+d x)+107520 a^8 c+107520 a^8 d x-8400 a b^7 c \sin (c+d x)-8400 a b^7 d x \sin (c+d x)+350 a b^7 \cos (5 (c+d x))+40 a b^7 \cos (7 (c+d x))-210 b^8 \sin (2 (c+d x))-210 b^8 \sin (4 (c+d x))-90 b^8 \sin (6 (c+d x))-15 b^8 \sin (8 (c+d x))}{a+b \sin (c+d x)}-26880 a^2 \left (8 a^2-3 b^2\right ) \left (a^2-b^2\right )^{3/2} \tan ^{-1}\left (\frac{a \tan \left (\frac{1}{2} (c+d x)\right )+b}{\sqrt{a^2-b^2}}\right )}{13440 b^9 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.141, size = 2076, normalized size = 4. \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.637, size = 2032, normalized size = 3.87 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.27625, size = 1303, normalized size = 2.48 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]